منابع مشابه
Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous
We revisit the connection between three notions of computation: Moggi’s monads, Hughes’s arrows and McBride and Paterson’s idioms (also called applicative functors). We show that idioms are equivalent to arrows that satisfy the type isomorphism A;B ' 1 ; (A→ B) and that monads are equivalent to arrows that satisfy the type isomorphism A; B ' A → (1 ; B). Further, idioms embed into arrows and ar...
متن کاملWhy are carbon nanotubes fast transporters of water?
Extraordinarily fast transport of water in carbon nanotubes (CNTs) in recent experiments has been generally attributed to the smoothness of the CNT surface. Using molecular dynamics simulations we investigate water flow in (16,16) CNTs and show that the enhanced flow rates over Hagen-Poiseuille flow arise from a velocity "jump" in a depletion region at the water nanotube interface and that the ...
متن کاملAre patients fulfilling MET criteria recognized?
Results A total of 155 patients with abnormal vital signs were identified, and nursing staff was interviewed about 139 patients. In 61 of these 139 patients, one or more vital signs were measured by the evening nursing staff. The respiratory rate was not measured by nursing staff. In 86 cases staff decided to intervene because of abnormal vital signs measured by study personnel. A total of 77% ...
متن کاملUnderstanding Idioms
We describe a language understanding model in which idioms, like other units of linguistic knowledge, are treated as constructions linking elements of form with elements of meaning. They may also, however, invoke additional metaphorical mappings that can actively constrain both the interpretation and acceptability of idiomatic expressions. A wide variety of idiomatic phenomena, including compos...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Memory & Cognition
سال: 2009
ISSN: 0090-502X,1532-5946
DOI: 10.3758/mc.37.4.529